(set-logic ANRA)
(set-info :status sat)
(declare-fun r4 () Real)
(declare-fun r9 () Real)
(declare-fun arr () (Array Bool (Array Real Real)))
(declare-fun r38 () Real)
(assert (< r38 r9))
(assert (= 1.0 (* r4 (select (select arr true) 0.0))))
(assert (= 0.0 (* r9 (select (select arr true) r9))))
(check-sat)
